/*
 * EvaluationReport.h
 *
 *  Created on: May 2, 2012
 *      Author: lorenzo
 */

#ifndef EVALUATIONREPORT_H_
#define EVALUATIONREPORT_H_

class EvaluationReport {
public:
	EvaluationReport(int clausesNumber, int satisfiedClauses);
	virtual ~EvaluationReport();

	int getClausesNumber();
	int getsatisfiedClauses();

private:
	int clausesNumber;
	int satisfiedClauses;
};

#endif /* EVALUATIONREPORT_H_ */
